bool<[<Measure(* "" *)>] 'm>
